Aims and hypothesesIn an environment of absolute silence, researchers have found many of their participants to perceive phantom sounds. With this between-subject experiment, we aimed to elaborate on these research findings, and specifically investigated whether–in line with the fear-avoidance model of tinnitus perception and reactivity–fear or level of perceived threat influences the incidence and perceptual qualities of phantom sound percepts in an anechoic room. We investigated the potential role of individual differences in anxiety, negative affect, noise sensitivity and subclinical hearing (...) loss. We hypothesized that participants who experience a higher level of threat would direct their attention more to the auditory system, leading to the perception of tinnitus-like sounds, which would otherwise be subaudible, and that under conditions of increased threat, narrowing of attention would lead to perceptual distortions.MethodsIn total, N = 78 normal-hearing volunteers participated in this study. In general, the study sample consisted of young, mostly female, university students. Their hearing was evaluated using gold-standard pure tone audiometry and a speech-in-noise self-test, which is a sensitive screening test to identify subclinical hearing loss. Prior to a four-minute stay in an anechoic room, we randomized participants block design-wise in a threat and no-threat condition. Participants in the threat condition were deceived about their hearing and were led to believe that staying in the room would potentially harm their hearing temporarily. Participants were asked whether they perceived sounds during their stay in the room and rated the perceptual qualities of sound percepts. They were also asked to fill-out standardized questionnaires measuring anxiety, affect and noise sensitivity. The internal consistency of the questionnaires used was verified in our study sample and ranged between α = 0.61 and α = 0.90.ResultsIn line with incidence rates reported in the literature, 74% of our participants reported having heard tinnitus-like sounds in the anechoic room. Speech-in-noise identification ability was comparable for both groups of participants. The experimental manipulation of threat was proven to be effective, as indicated by significantly higher scores on a Threat Manipulation Checklist among participants in the threat condition as compared to those in the no-threat condition. Nevertheless, participants in the threat condition were as likely to report tinnitus percepts as participants in the no-threat condition, and tinnitus percepts were not rated as being louder or more unpleasant as a function of level of threat. For participants who did experience tinnitus percepts, a higher level of threat was associated with a higher degree of experienced unpleasantness. These associations were absent in those who did not experience tinnitus. Higher negative affect was only slightly associated with higher ratings of tinnitus unpleasantness.ConclusionWhereas our threat manipulation was successful in elevating the level of fear, it did not contribute to a higher percentage of participants perceiving tinnitus-like sounds in the threat condition. However, higher levels of perceived threat were related to a higher degree of perceived tinnitus unpleasantness. The findings of our study are drawn from a rather homogenous participant pool in terms of age, gender, and educational background, challenging conclusions that are applicable for the general population. Participants generally obtained normophoric scores on independent variables of interest: they were low anxious, low noise-sensitive, and there was little evidence for the presence of subclinical hearing loss. Possibly, there was insufficient variation in scores to find effects. (shrink)

Current selves wield all the power in intertemporal tradeoffs. Although one set of future selves will make similar tradeoffs in the future, another self – who we term the cumulative future self – falls on the receiving end of those dictated decisions. How current selves commune with the cumulative future self determines whether the former heed pleas, from the latter, for patience.

Zimbabwe's communal farmers are now less food secure than they were two generations ago. The roots of this decline lie not only in the confinement of Africans to marginal land but also in the historic forced replacement of their sustainable, indigenous farming system with one whose productivity now relies on the use of large amounts of expensive chemical inputs. Environmentally-friendly, traditional farming practices such as pyro-culture, minimum tillage, mixed cropping, and bush fallowing were completely wiped out and replaced with a (...) highly technical western or ganic farming system based on plough cultivation and continuous monocultures of commodity crops, that were supposed to be sustained by liberal amounts of green and animal manures. This gave rise to an effective agricultural hegemony that was due, mainly, to the zealous dedication of an American Mormon missionary whose motives were evangelical rather than scientific. (shrink)

James Overman: Joyce reading Nietzsche -- Ecce auctor: self-creation in A portrait of the artist as a young man -- Aufhebung baby: auto-genesis and alterity in Ulysses -- Joyce's multifarious styles in Ulysses -- Also sprach Molly Bloom -- The gay science of Finnegans wake.

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis that (...) composition is identity and noting its consequences for the question of mereological structure. (shrink)

This paper considers the computational complexity of the disjunction and existential properties of intuitionistic logic. We prove that the disjunction property holds feasibly for intuitionistic propositional logic; i.e., from a proof of A v B, a proof either of A or of B can be found in polynomial time. For intuitionistic predicate logic, we prove superexponential lower bounds for the disjunction property, namely, there is a superexponential lower bound on the time required, given a proof of A v B, to (...) produce one of A and B which is true. In addition, there is superexponential lower bound on the size of terms which fulfill the existential property of intuitionistic predicate logic. There are superexponential upper bounds for these problems, so the lower bounds are essentially optimal. (shrink)

Since Aristotle, many writers have treated metaphors and similes as equals: any metaphor can be paraphrased as a simile, and vice-versa. This property of metaphors is the basis for psycholinguistic comparison theories of metaphor comprehension. However, if metaphors cannot always be paraphrased as similes, then comparison theories must be abandoned. The different forms of a metaphor—the comparison and categorical forms—have different referents. In comparison form, the metaphor vehicle refers to the literal concept, e.g. 'in my lawyer is like a shark', (...) the term 'shark' refers to the literal fish. In categorical form, 'my lawyer is a shark', 'shark' refers to an abstract (metaphorical) category of predatory creatures. This difference in reference makes it possible for a metaphor and its corresponding simile to differ (a) in interpretability and (b) in meaning. Because a metaphor cannot always be understood in terms of its corresponding simile, we conclude that comparison theories of metaphor are fundamentally flawed. (shrink)

Many philosophers have thought that our folk, or pre-reflective, view of persistence is one on which objects endure. This assumption not only plays a role in disputes about the nature of persistence itself, but is also put to use in several other areas of metaphysics, including debates about the nature of change and temporal passage. In this paper, we empirically test three broad claims. First, that most people (i.e. most non-philosophers) believe that, and it seems to them as though, objects (...) persist by enduring rather than perduring. Second, that most people have a view of change on which enduring but not perduring objects count as changing. Third, that one reason why the folk represent time as dynamical is because it seems to them, and they believe that, they endure through time. We found no evidence to support these claims. While there are certainly plenty of ‘folk’ endurantists in the population we tested, there are also plenty of ‘folk’ perdurantists. We did not find robust evidence that a majority of people believed that, or it seemed to them as though, objects endure rather than perdure. We conclude that many arguments in favour of endurantism that appeal to folk beliefs about, or experiences of, persisting objects and change rest on views about those beliefs and experiences that are empirically unsupported. There is no evidence to suggest that endurantism is the folk friendly view of persistence, and so we should stop treating it as such without argument. (shrink)

This thesis examines necessary truth and defends a normative, or linguistic, account of it. Roughly, it holds that necessary truths state or follow from conceptual norms (i.e., norms that determine patterns of correct concept use). While the thesis touches upon logical and mathematical truth, its primary focus are those necessary truths typically expressed using natural language. The thesis has three parts. In Part I, I criticise metaphysical accounts of necessity and present and defend a normative account of it. At no (...) point do I give a history of normative accounts, but clearly their roots are to be found in the first half of the twentieth century – in the works of Wittgenstein and Carnap, for example. In Part II, I consider whether language can sustain the normative account. Some argue that the account requires language to be regimented in a way that it is not. I show that while it requires a distinction in kind between empirical and conceptual principles, it nevertheless makes room for indeterminacy regarding whether a given statement is an empirical claim or follows from conceptual norms. Finally, in Part III, I consider the relationship between the world and our conceptual scheme. I argue that denying our concepts answer to the world does not mean that they cannot be justified. The normative account does not say that we have no reasons for categorising things in a certain way, but rather that natural facts, in combination with our interests, are fit to provide them. The purpose of the thesis is to show that normative accounts of necessity can be much more robust than they are often given credit for and needn’t have the malign implications often associated with them. (shrink)

Over many years and in many publications David Rosenthal has developed, defended and applied his justly well-known higher-order thought theory of consciousness.2 In this paper I explain the theory, then provide a brief history of a major objection to it. I suggest that this objection is ultimately ineffectual, but that behind it lies a reason to look beyond Rosenthal's theory to another sort of HOT theory. I then offer my own HOT theory as a suitable alternative, before concluding in a (...) final section. Resumo Durante muitos anos, e em muitas publicações, David Rosenthal desenvolveu, defendeu e aplicou sua justamente reconhecida teoria da consciência, intitulada high-order thought. Neste artigo, explico a teoria e, em seguida, forneço uma breve história de uma objeção maior feita a ela. Sugiro que essa objeção é, em última análise, ineficaz, mas que por trás disso há uma razão para olhar além da teoria de Rosenthal, para outro tipo de teoria HOT. Então ofereço minha própria teoria HOT como uma alternativa adequada, antes de concluir, em uma seção final, a respeito de questões filosóficas aqui envolvidas. (shrink)

An important open problem in Reverse Mathematics is the reduction of the first-order strength of the base theory from IΣ1IΣ1 to IΔ0+expIΔ0+exp. The system ERNA, a version of Nonstandard Analysis based on the system IΔ0+expIΔ0+exp, provides a partial solution to this problem. Indeed, weak Königʼs lemma and many of its equivalent formulations from Reverse Mathematics can be ‘pushed down’ into ERNA, while preserving the equivalences, but at the price of replacing equality with ‘≈’, i.e. infinitesimal proximity . The logical principle (...) corresponding to weak Königʼs lemma is the universal transfer principle from Nonstandard Analysis. Here, we consider the intermediate and mean value theorem and their uniform generalizations. We show that ERNAʼs Reverse Mathematics mirrors the situation in classical Reverse Mathematics. This further supports our claim from Sanders [19] that the Reverse Mathematics of ERNA plus universal transfer is a copy up to infinitesimals of that of WKL0. We discuss some of the philosophical implications of our results. (shrink)

In D.A.B.E., Inc., v. Toledo-Lucas County Board of Health, the Supreme Court of Ohio held that the Ohio Revised Code does not grant a local board of health the power to proscribe smoking in all public places as defined by the Lucas County Regional Health District Clean Indoor Air Regulation.On May 24, 2001, the Board of Health of the Lucas County Regional Health District adopted the regulation in question, prohibiting smoking in all public areas in Lucas County, which were defined (...) as “every enclosed, indoor area to which members of the general public are invited or in which members of the general public are normally permitted.” In addition, the regulation prohibited smoking within twenty feet of any entrance or open window of these public areas and in all vehicles of public transportation. (shrink)

In D.A.B.E., Inc., v. Toledo-Lucas County Board of Health, the Supreme Court of Ohio held that the Ohio Revised Code does not grant a local board of health the power to proscribe smoking in all public places as defined by the Lucas County Regional Health District Clean Indoor Air Regulation.On May 24, 2001, the Board of Health of the Lucas County Regional Health District adopted the regulation in question, prohibiting smoking in all public areas in Lucas County, which were defined (...) as “every enclosed, indoor area to which members of the general public are invited or in which members of the general public are normally permitted.” In addition, the regulation prohibited smoking within twenty feet of any entrance or open window of these public areas and in all vehicles of public transportation. (shrink)

Since Aristotle, many writers have treated metaphors and similes as equals: any metaphor can be paraphrased as a simile, and vice‐versa. This property of metaphors is the basis for psycholinguistic comparison theories of metaphor comprehension. However, if metaphors cannot always be paraphrased as similes, then comparison theories must be abandoned. The different forms of a metaphor—the comparison and categorical forms—have different referents. In comparison form, the metaphor vehicle refers to the literal concept, e.g. ‘in my lawyer is like a shark’, (...) the term ‘shark’ refers to the literal fish. In categorical form, ‘my lawyer is a shark’, ‘shark’ refers to an abstract (metaphorical) category of predatory creatures. This difference in reference makes it possible for a metaphor and its corresponding simile to differ (a) in interpretability and (b) in meaning. Because a metaphor cannot always be understood in terms of its corresponding simile, we conclude that comparison theories of metaphor are fundamentally flawed. (shrink)

In the present article, we review the theory and research on religious deconversion with a focus on adolescence and young adulthood. First, we present the relevant terminology (e.g. religious deconversion, religious disaffiliation, and religious deidentification) and statistical trends (e.g. the prevalence of religious Nones and Dones). We define religious deconversion as any movement away from religion. Religiosity decreases across adolescence and into young adulthood, and these developmental periods also have heightened rates of religious deidentification, at least in many Western cultures. (...) Second, we review the theory and research on processes, predictors, and outcomes of religious deconversion. Deconversion is discussed both in terms of individuals becoming less religious and possibly deidentifying from religion. In terms of processes of deconversion, we discuss various theoretical models and self-expressed reasons for deconversion. Religious deconversion tends to progress in phases, often initiated by religious and spiritual struggles. In terms of predictors, we identify predictors at the level of the individual (e.g. demographics, personality, norm-violating behavior, and dimensions of religiosity), family (e.g. parent and family religiosity, family dynamics such as parenting styles, and religious socialization), peers (e.g. peer religiosity and religious conversations with peers), religious communities (e.g. supportiveness, engagement, and dialogue), formal education, and social media. In line with developmental systems perspectives, religious deconversion is a complex and dynamic process involving numerous individual and contextual factors. In terms of outcomes of deconversion, we identify potential individual and relational outcomes that are considered both negative and positive. Finally, we outlined 10 promising future directions for research on religious deconversion. (shrink)

Rationale: Deep brain stimulation (DBS) of the hippocampus is proposed for enhancement of memory impaired by injury or disease. Many pre-clinical DBS paradigms can be addressed in epilepsy patients undergoing intracranial monitoring for seizure localization, since they already have electrodes implanted in brain areas of interest. Even though epilepsy is usually not a memory disorder targeted by DBS, the studies can nevertheless model other memory-impacting disorders, such as Traumatic Brain Injury (TBI). Methods: Human patients undergoing Phase II invasive monitoring for (...) intractable epilepsy were implanted with depth electrodes capable of recording neurophysiological signals. Subjects performed a delayed-match-to-sample (DMS) memory task while hippocampal ensembles from CA1 and CA3 cell layers were recorded to estimate a multi-input, multi-output (MIMO) model of CA3-to-CA1 neural encoding and a memory decoding model (MDM) to decode memory information from CA3 and CA1 neuronal signals. After model estimation, subjects again performed the DMS task while either MIMO-based or MDM-based patterned stimulation was delivered to CA1 electrode sites during the encoding phase of the DMS trials. Each subject was sorted (post hoc) by prior experience of repeated and/or mild-to-moderate brain injury (RMBI), TBI, or no history (control) and scored for percentage successful delayed recognition (DR) recall on stimulated vs. non-stimulated DMS trials. The subject’s medical history was unknown to the experimenters until after individual subject memory retention results were scored. Results: When examined compared to control subjects, both TBI and RMBI subjects showed increased memory retention in response to both MIMO and MDM-based hippocampal stimulation. Furthermore, effects of stimulation were also greater in subjects who were evaluated as having pre-existing mild-to-moderate memory impairment. Conclusion: These results show that hippocampal stimulation for memory facilitation was more beneficial for subjects who had previously suffered a brain injury (other than epilepsy), compared to control (epilepsy) subjects who had not suffered a brain injury. This study demonstrates that the epilepsy/intracranial recording model can be extended to test the ability of DBS to restore memory function in subjects who previously suffered a brain injury other than epilepsy, and support further investigation into the beneficial effect of DBS in TBI patients. (shrink)

Reverse mathematics is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, that is, non-set-theoretic, mathematics. As suggested by the title, this paper deals with two RM-phenomena, namely, splittings and disjunctions. As to splittings, there are some examples in RM of theorems A, B, C such that A↔, that is, A can be split into two (...) independent parts B and C. As to disjunctions, there are examples in RM of theorems D, E, F such that D↔, that is, D can be written as the disjunction of two independent parts E and F. By contrast, we show in this paper that there is a plethora of splittings and disjunctions in Kohlenbach’s higher-order RM. (shrink)

The concepts of Fundierung (“foundation” or “founding”) and Stiftung (“institution” or “instituting”) play a prominent role in the work of Edmund Husserl, who employs Fundierung to describe relations of essential necessity in “static” analyses of intentional consciousness, and Stiftung to describe movements of sedimentation and reactivation in “genetic” analyses of the co-advent of consciousness and the world. Martin Heidegger, meanwhile, employs the notion of Stiften (“establishing”) in his ontological questioning of the disclosure of the truth of beings. It is, therefore, (...) surprising that scholars tend to assume, if not explicitly assert, that Merleau-Ponty treats Fundierung and Stiftung as synonyms. I argue, on the contrary, that Fundierung and Stiftung take on increasingly divergent functions over the course of Merleau-Ponty’s writings, with Stiftung ultimately giving voice to the “ontological operations” of individuation through intertwining whereby sensible and sentient beings, qua flesh, give birth to sense. In particular, I take seriously Merleau-Ponty’s account of Stiftung – from Institution and Passivity onward – as a “double relation of Fundierung”; given that Fundierung is already a “double relation” between the founding and the founded term, Stiftung must be conceived as a “fourfold” relation, wherein each term is simultaneously founding and founded, relative to the other. This fourfold structure articulates the relation of “simultaneity” or “existential eternity” between beings and sense in their advent. By tracing the development of the concept of Stiftung in Merleau-Ponty’s work, I attempt to show that interpreting his thinking of la chair as an “ontology of institution” – in the sense of an articulation of the movement of existence as relations of Stiftung – highlights the originality of his ontologization of Husserlian phenomenology, and thereby his status as a “foundational” thinker in his own right, rather than a merely regional thinker of embodiment.Les concepts de Fundierung (fondation) et de Stiftung (institution) jouent un rôle central dans l’oeuvre d’Edmund Husserl, qui emploie Fundierung pour décrire des relations de nécessité essentielle dans les analyses « statiques » de la conscience intentionnelle, et Stiftung pour décrire les mouvements de sédimentation et de réactivation dans les analyses « génétiques » de l’avènement concomitant de la conscience et du monde. Martin Heidegger, de son côté, emploie la notion de Stiften (instituer, établir) dans son questionnement ontologique du dévoilement de la vérité de l’être. C’est pourquoi il est surprenant que les commentateurs tendent à supposer, sinon à affirmer, que Merleau-Ponty traite Fundierung et Stiftung comme des synonymes. Je soutiens au contraire que ces deux notions exercent des fonctions de plus en plus divergentes dans ses écrits, où la Stiftung exprime au fond les « opérations ontologiques » de l’individuation à travers l’entrelacement par lequel les êtres sensibles et sentants (en tant que chair) donnent naissance au sens. En particulier, je prends au sérieux la conception merleau-pontienne de la Stiftung – à partir des cours sur L’Institution et la passivité – comme « une double relation de Fundierung » ; étant donné que la Fundierung est déjà une « double relation » entre le terme fondant et le terme fondé, la Stiftung doit être conçue comme une relation « quadripartite » dans laquelle chaque terme est simultanément fondant et fondé, relatif à l’autre. Cette structure quadripartite articule la relation de « simultanéité » ou d’« éternité existentielle » entre les étants et le sens dans leur avènement. En retraçant le développement du concept de Stiftung dans les travaux de Merleau-Ponty, je tente de montrer que l’interprétation de sa pensée de la chair comme une « ontologie de l’institution » – au sens d’une articulation du mouvement de l’existence comme relations de Stiftung – souligne l’originalité de son ontologisation de la phénoménologie husserlienne, et par là son statut comme penseur « fondationnel » de plein droit, plutôt qu’un penseur simplement régional de l’incarnation.I concetti di Fundierung (fondazione) e di Stiftung (istituzione) ricoprono un ruolo centrale nell’opera di Edmund Husserl, che si serve del termine Fundierung per descrivere le relazioni di necessità nelle analisi “statiche” della coscienza intenzionale, e di Stiftung per descrivere i movimenti di sedimentazione e di riattivazione nelle analisi “genetiche” del co-avvento di coscienza e mondo. Inoltre, Martin Heidegger usa il termine Stiften (istituire, stabilire) nella sua interrogazione ontologica dello svelamento della verità dell’essere. Per questo, risulta sorprendente che i commentatori di Merleau-Ponty tendano a supporre, se non ad affermare, che il filosofo tratti Fundierung e Stiftung come dei sinonimi. Ritengo al contrario che queste due nozioni rivestano funzioni progressivamente divergenti nei suoi scritti, dal momento che la Stiftung viene ad esprimere le “operazioni ontologiche” dell’individuazione attraverso l’intreccio per cui gli esseri sensibili e senzienti (in quanto carne) permettono la nascita del senso. In particolare, prendo in considerazione la concezione merleau-pontiana della Stiftung – a partire dai corsi sull’istituzione e la passività – come una “doppia relazione di Fundierung”. Nella misura in cui la Fundierung è già una “doppia relazione” tra termine fondante e termine fondato, la Stiftung deve essere pensata come una relazione “quadripartita” in cui ogni termine è simultaneamente fondante e fondato, relativamente all’altro. Questa struttura quadripartita articola la relazione di “simultaneità” o d’“eternità esistenziale” tra gli enti e il senso nel loro avvenimento. Ritracciando lo sviluppo del concetto di Stiftung nei testi di Merleau-Ponty, tento dunque di mostrare come un’interpretazione della sua filosofia della carne come “ontologia dell’istituzione” – nel senso di un’articolazione del movimento dell’esistenza come relazione di Stiftung – metta in luce l’originalità della sua ontologizzazione della fenomenologia husserliana. Ne emerge dunque a pieno titolo un pensatore “fondazionale”, piuttosto che un pensatore semplicemente regionale dell’incarnazione. (shrink)

Temporal patterns in human movement, and in speech in particular, occur on multiple timescales. Regularities in such patterns have been observed between speech gestures, which are relatively quick movements of articulators (e.g., tongue fronting and lip protrusion), and also between rhythmic units (e.g., syllables and metrical feet), which occur more slowly. Previous work has shown that patterns in both domains can be usefully modeled with oscillatory dynamical systems. To investigate how rhythmic and gestural domains interact, an experiment was conducted in (...) which speakers performed a phrase repetition task, and gestural kinematics were recorded using electromagnetic articulometry. Variance in relative timing of gestural movements was correlated with variance in rhythmic timing, indicating that gestural and rhythmic systems interact in the process of planning and producing speech. A model of rhythmic and gestural planning oscillators with multifrequency coupling is presented, which can simulate the observed covariability between rhythmic and gestural timing. (shrink)

Jerry Fodor wrote the following assessment of Danto’s importance in 1993: “Danto has done something I’ve been very much wanting to do: namely, reconsider some hard problems in aesthetics in the light of the past 20 years or so of philosophical work on intentionality and representation” (Fodor 1993, p. 41). Fodor is absolutely right: some of Danto’s work could be thought of as the application of some influential ideas about perception that Fodor also shared. The problem is that these ideas (...) have turned out to be false. Both Danto and Fodor are modularist: they both think that perception is an encapsulated process that is in no way influenced by any kind of non-perceptual processing (see, e.g., Fodor 1983, Pylyshyn 1984). Many of Danto’s famous and influential arguments rely very directly on this modularist assumption. There is now, however, a wealth of evidence against modularism of the strong kind held to by Danto and Fodor. We now know that perceptual experience is not determined entirely by the retinal input: our visual processing is influenced at various point in a top-down manner. What we know and what kinds of visual stimuli we have encountered previously deeply influence how the retinal input is processed. The empirical literature on this is vast and conclusive (for an overview, see Teufel and Nanay 2017 but see also the references in the last section of this paper). What does this mean for Danto’s views on art and perception? While one of Danto’s premises may turn out to be false, the history and examples he gave are valuable and bear repeating. Even more importantly, Danto’s aesthetics can in part be separated out from his modularism, leading us to draw slightly different but arguably even more interesting conclusions from famous thought experiments such as the Gallery of Indiscernibles. (shrink)

According to Brentano, mentality is essentially intentional in nature. Other philosophers have emphasized the phenomenal-qualitative aspect of conscious experiences as core to the mind. A recent philosophical wave – the ‘phenomenal intentionality programme’ – seeks to unite these conceptions in the idea that mental content is grounded in phenomenal qualities. However, a philosophical and scientific current, which includes Freud and contemporary cognitive science, makes widespread use of the posit of unconscious mentality/mental content. I aim to reconcile these disparate, influential strands (...) of thought concerning mentality’s essence, by defending a conception of the mark of the mental as consisting in content-carrying qualitative character (or mental qualities) – but understood as properties that can exist both in conscious (i.e. phenomenal) form and unconsciously. I describe this conception, deal with major historical objections to the notions of unconscious qualitative character and mentality, and explain the virtues of construing the mark of the mental in this way. (shrink)

Facing challenges in your relationships, career, health or well-being? Worried important life goals seem to be slipping away? Whether you're faced with day-to-day irritations or facing a larger setback, sometimes life can test your strength and endurance. But there is a simple and effective way to building your resilience in the face of adversity, making sure that you can bounce back from them stronger than ever before and go on to achieve your goals and lead a happier, more fulfilled life. (...) This step-by-step guide takes you through how to build your everyday resilience. From powerful lessons on the effects of our thoughts, emotions, relationships and self-care, to tips on setting goals that genuinely motivate and turning challenges on their heads, it makes the road to success and happiness easy and - best of all - enjoyable. (shrink)

The experiences described in the VIP transcripts are incredibly varied and yet frequently explicitly labelled by participants as "voices." How can we make sense of this? If we reflect carefully on uses of the word "voice", we see that it can express at least two entirely different concepts, which pick out categorically different phenomena. One concept picks out a speech sound (e.g. "This synthesizer has a "voice" setting"). Another concept picks out a specific agent (e.g. "I hear two voices: one (...) is a ten year-old boy…"). This chapter explores how these two concepts are related to one another in the context of voice-hearing. (shrink)

The uncountability of$\mathbb {R}$is one of its most basic properties, known far outside of mathematics. Cantor’s 1874 proof of the uncountability of$\mathbb {R}$even appears in the very first paper on set theory, i.e., a historical milestone. In this paper, we study the uncountability of${\mathbb R}$in Kohlenbach’shigher-orderReverse Mathematics (RM for short), in the guise of the following principle:$$\begin{align*}\mathit{for \ a \ countable \ set } \ A\subset \mathbb{R}, \mathit{\ there \ exists } \ y\in \mathbb{R}\setminus A. \end{align*}$$An important conceptual observation is (...) that the usual definition of countable set—based on injections or bijections to${\mathbb N}$—does not seem suitable for the RM-study of mainstream mathematics; we also propose a suitable (equivalent over strong systems) alternative definition of countable set, namelyunion over${\mathbb N}$of finite sets; the latter is known from the literature and closer to how countable sets occur ‘in the wild’. We identify a considerable number of theorems that are equivalent to the centred theorem based on our alternative definition. Perhaps surprisingly, our equivalent theorems involve most basic properties of the Riemann integral, regulated or bounded variation functions, Blumberg’s theorem, and Volterra’s early work circa 1881. Our equivalences are alsorobust, promoting the uncountability of${\mathbb R}$to the status of ‘big’ system in RM. (shrink)

Constructive Analysis and Nonstandard Analysis are often characterized as completely antipodal approaches to analysis. We discuss the possibility of capturing the central notion of Constructive Analysis (i.e. algorithm, finite procedure or explicit construction) by a simple concept inside Nonstandard Analysis. To this end, we introduce Omega-invariance and argue that it partially satisfies our goal. Our results provide a dual approach to Erik Palmgren's development of Nonstandard Analysis inside constructive mathematics.

We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover compactness and the Lindelöf property, respectively. These notions are of great conceptual importance: the former is commonly viewed as a way of treating uncountable sets like e.g. [Formula: see text] as “almost finite”, while the latter allows one to treat uncountable sets like e.g. [Formula: see text] (...) as “almost countable”. This reduction of the uncountable to the finite/countable turns out to have a considerable logical and computational cost: we show that the aforementioned lemmas, and many related theorems, are extremely hard to prove, while the associated sub-covers are extremely hard to compute. Indeed, in terms of the standard scale (based on comprehension axioms), a proof of these lemmas requires at least the full extent of second-order arithmetic, a system originating from Hilbert–Bernays’ Grundlagen der Mathematik. This observation has far-reaching implications for the Grundlagen’s spiritual successor, the program of Reverse Mathematics, and the associated Gödel hierarchy. We also show that the Cousin lemma is essential for the development of the gauge integral, a generalization of the Lebesgue and improper Riemann integrals that also uniquely provides a direct formalization of Feynman’s path integral. (shrink)

We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. A basic property of Cantor space$2^ $ is Heine–Borel compactness: for any open covering of $2^ $, there is a finite subcovering. A natural question is: How hard is it to compute such a finite subcovering? We make this precise by analysing the complexity of so-called fan functionals that given any $G:2^ \to $, output a (...) finite sequence $\langle f_0, \ldots,f_n \rangle $ in $2^ $ such that the neighbourhoods defined from $\overline {f_i } G\left$ for $i \le n$ form a covering of $2^ $. A basic property of Cantor space in Nonstandard Analysis is Abraham Robinson’s nonstandard compactness, i.e., that every binary sequence is “infinitely close” to a standard binary sequence. We analyse the strength of this nonstandard compactness property of Cantor space, compared to the other axioms of Nonstandard Analysis and usual mathematics.Our study of yields exotic objects in computability theory, while leads to surprising results in Reverse Mathematics. We stress that and are highly intertwined, i.e., our study is holistic in nature in that results in computability theory yield results in Nonstandard Analysis and vice versa. (shrink)

Cet ouvrage propose une analyse comparative des concepts de justice et d'altérité éthique développés par Jacques Derrida et Emmanuel Levinas, en vue d'une discussion sur l'[im]possibilité d'éthique. L'objectif est d'analyser la possibilité de penser à une certaine absence, dans les discours sur la justice comme critère et condition de la justice elle-même. Le problème central est configuré comme suit : si la question du troisième est justice chez Levinas, et si le troisième est présent dans la relation avec les autres, (...) est-il possible d'affirmer que le troisième est une certaine absence, au sens derridien, de présence de l'autre? Si oui, quelles conséquences possibles peut-on signaler dans la dimension éthique? À la suite de cela, est-il possible de dire que l'éthique est impossible puisque la justice est une certaine expérience de l'impossible? (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first ‘local-to-global’ principles. It is well-known that such principles in analysis are intimately connected to (open-cover) compactness, but we nonetheless exhibit fundamental differences between compactness and Pincherle's theorem. For instance, the main question of Reverse Mathematics, namely which set existence axioms are necessary to (...) prove Pincherle's theorem, does not have an unique or unambiguous answer, in contrast to compactness. We establish similar differences for the computational properties of compactness and Pincherle's theorem. We establish the same differences for other local-to-global principles, even going back to Weierstrass. We also greatly sharpen the known computational power of compactness, for the most shared with Pincherle's theorem however. Finally, countable choice plays an important role in the previous, we therefore study this axiom together with the intimately related Lindelöf lemma. (shrink)

Cantor’s first set theory paper (1874) establishes the uncountability of ${\mathbb R}$. We study this most basic mathematical fact formulated in the language of higher-order arithmetic. In particular, we investigate the logical and computational properties of ${\mathsf {NIN}}$ (resp. ${\mathsf {NBI}}$ ), i.e., the third-order statement there is no injection resp. bijection from $[0,1]$ to ${\mathbb N}$. Working in Kohlenbach’s higher-order Reverse Mathematics, we show that ${\mathsf {NIN}}$ and ${\mathsf {NBI}}$ are hard to prove in terms of (conventional) comprehension axioms, (...) while many basic theorems, like Arzelà’s convergence theorem for the Riemann integral (1885), are shown to imply ${\mathsf {NIN}}$ and/or ${\mathsf {NBI}}$. Working in Kleene’s higher-order computability theory based on S1–S9, we show that the following fourth-order process based on ${\mathsf {NIN}}$ is similarly hard to compute: for a given $[0,1]\rightarrow {\mathbb N}$ -function, find reals in the unit interval that map to the same natural number. (shrink)

Reverse Mathematics (RM hereafter) is a program in the foundations of mathematics where the aim is to identify theminimalaxioms needed to prove a given theorem from ordinary, i.e., non-set theoretic, mathematics. This program has unveiled surprising regularities: the minimal axioms are very oftenequivalentto the theorem over thebase theory, a weak system of ‘computable mathematics’, while most theorems are either provable in this base theory, or equivalent to one of onlyfourlogical systems. The latter plus the base theory are called the ‘Big (...) Five’ and the associated equivalences arerobustfollowing Montalbán, i.e., stable under small variations of the theorems at hand. Working in Kohlenbach’shigher-orderRM, we obtain two new and long series of equivalences based on theorems due to Bolzano, Weierstrass, Jordan, and Cantor; these equivalences are extremely robust and have no counterpart among the Big Five systems. Thus, higher-order RM is much richer than its second-order cousin, boasting at least two extra ‘Big’ systems. (shrink)

On complimentary aspects of some contemporary scientific theories and Buddhist philosophy.

Generic sentences (e.g., bare plural sentences such as “dogs have four legs” and “mosquitoes carry malaria”) are used to talk about kinds of things. Three experiments investigated the conceptual foundations of generics as well as claims within the formal semantic approaches to generics concerning the roles of prevalence, cue validity and normalcy in licensing generics. Two classes of generic sentences that pose challenges to both the conceptually based and formal semantic approaches to generics were investigated. Striking property generics (e.g. “sharks (...) bite swimmers”) are true even though only a tiny minority of instances have the property and thus pose obvious problems for quantificational approaches, and they also do not seem to characterize kinds in terms of the principled or statistical connections investigated in previous research ( Prasada and Dillingham, 2006 ; Prasada and Dillingham, 2009). The second class — minority characteristic generics (e.g. “ducks lay eggs”) — also poses serious problems for quantificational accounts, and appears to involve principled connections even though fewer than half of its instances have the relevant property. The experiments revealed three principal discoveries: first, striking generics involve neither principled nor statistical connections. Instead, they involve a causal connection between a kind and a property. Second, minority characteristic generics exhibit the characteristics of principled connections, which suggests that principled connections license the expectation that most instances will have the property, but do not require it. Finally, the experiments also provided evidence that prevalence and the acceptability of generics may be dissociated and provided data that are problematic for normalcy approaches to generics, and for the idea that cue validity licenses low prevalence generics. As such, the studies provided evidence in favor of a conceptually based approach to the semantics of generics ( Leslie, 2007 ; Leslie, 2008; see also Carlson, 2009). (shrink)

Cheating in the undergraduate classroom is not a new problem, and it is recognized as one that is endemic to the education system. This paper examines the highly normative behavior of using unauthorized assistance (e.g., a solutions manual or a friend) on an individual assignment within the context of an upper division undergraduate course in engineering mechanics. The findings indicate that there are varying levels of accepting responsibility among the students (from denial to tempered to full) and that acceptance of (...) responsibility can lead to identification of learning and necessary behavioral changes. The findings have implications for institutions and engineering faculty, in particular the need for consistent academic integrity education and the teaching of professional integrity and ethics. (shrink)